Date: Tue, 14 Jan 1997 22:04:20 GMT
Server: Apache/1.0.3
Content-type: text/html
Content-length: 4252
Last-modified: Tue, 07 Jan 1997 16:05:28 GMT

<html><head>
<title>IU Computer Science Research</title>
<link rev="made" href="mailto:fleisher@cs.indiana.edu">
</head><body bgcolor="#ffffeO">

<h1><!WA0><a href="http://www.cs.indiana.edu/l/www/home-page.html">Indiana University Computer Science</a>
Research</h1>

<em>Researchers</em>: Start with this <!WA1><a href="http://www.cs.indiana.edu/l/www/research/template.html">template
page</a> to create new entries.<p>

<h2>Artificial Intelligence and Cognitive Science</h2>

<ul>
<li><!WA2><a href="http://www.cs.indiana.edu/l/www/ai/Gasser/Morphophon/description.html">
    Acquisition of Words</a>
<li><!WA3><a href="http://www.cs.indiana.edu/l/www/hyplan/leake/cbmatrix.html">
    Case-Based Selection of Problem Solving Methods for Scientific
    Computation</a>
<li><!WA4><a href="http://www.cs.indiana.edu/l/www/hyplan/leake/gdie.html">
    Goal-Driven Interactive Explanation</a>
<li><!WA5><a href="http://www.cs.indiana.edu/l/www/ai/Gasser/Grounding/description.html">
    Grounding Linguistic Meaning</a>
<li><!WA6><a href="http://www.cs.indiana.edu/l/www/hyplan/leake/adaptation_proj.html">
    Learning Case Adaptation for Case-Based Reasoning</a>
<li><!WA7><a href="http://www.cs.indiana.edu/l/www/ai/Gasser/Rhythm/description.html">
    Rhythm in Music and Language</a>
<li><!WA8><a href="http://www.cs.indiana.edu/l/www/research/metacat.html"> Metacat: A Self-Watching Cognitive Architecture for Analogy-Making</a>
<li><!WA9><a href="http://www.cs.indiana.edu/l/www/research/ltrspirit.html">Letter Spirit: An Emergent Model of the Perception and Creation of Alphabetic Style</a>
</ul>

<h2>Databases/Information Systems</h2>


<h2>Graphics</h2>

<ul>
<li><!WA10><a href="http://www.graphics.cornell.edu/~shirley/pgdori.html">
    Perception-Guided Display of Realistic Images</a>
<li><!WA11><a href="http://www.graphics.cornell.edu/~shirley/ris.html">
    Realistic Image Synthesis</a>
</ul>

<h2>Hardware/Robotics</h2>

<ul>
<li><!WA12><a href="http://www.cs.indiana.edu/l/www/hyplan/jwmills/PROJECTS/afc.proj.html">
    Analog Field Computing</a>
<li><!WA13><a href="http://www.cs.indiana.edu/l/www/hyplan/jwmills/PROJECTS/cyc.proj.html">
    Indiana University Cyclotron Controller</a>
<li><!WA14><a href="http://www.cs.indiana.edu/l/www/hyplan/jwmills/PROJECTS/mr.proj.html">
    Minimalist Robotics</a>
<li><!WA15><a href="http://www.cs.indiana.edu/l/www/hyplan/jwmills/PROJECTS/retic.proj.html">
    RETIC: A Behavioral Controller Based on the Vertebrate Reticulate
    Formation</a>
<li><!WA16><a href="http://www.cs.indiana.edu/l/www/hyplan/jwmills/PROJECTS/afc.design.proj.html">
    Visual Design of Analog Computers</a>
<li><!WA17><a href="http://www.cs.indiana.edu/l/www/research/sjohnson/ddd.html">Digital Design Derivation</a>
<li><!WA18><a href="http://www.cs.indiana.edu/l/www/research/sjohnson/dsi.html">Daisy/DSI Programming System</a>
</ul>

<h2>Logic</h2>

<ul>
<li><!WA19><a href="http://www.phil.indiana.edu/~barwise/appliedlogic.html">
    Applied Logic</a>
<li><!WA20><a href="http://www.phil.indiana.edu/~barwise/circularity.html">
    Foundations of Circularity</a>
<li><!WA21><a href="http://www.phil.indiana.edu/~barwise/hyperproof.html">
    Hyperproof 2.0</a>
<li><!WA22><a href="http://www.phil.indiana.edu/~barwise/information.html">
    Logic of Distributed Systems</a>
<li><!WA23><a href="http://www.phil.indiana.edu/~barwise/vilproject.html">
    Logical Reasoning with Diagrams</a>
<li><!WA24><a href="http://www.cs.indiana.edu/l/www/research/dunn/ggl.html">Gaggle Theory</a>
<li><!WA25><a href="http://www.cs.indiana.edu/l/www/research/dunn/neg.html">Negation</a>
<li><!WA26><a href="http://www.cs.indiana.edu/l/www/research/dunn/sfl.html">Structurally Free Logic</a>
<li><!WA27><a href="http://www.cs.indiana.edu/l/www/research/dunn/rp.html">Relevant Predication</a>
<li><!WA28><a href="http://www.cs.indiana.edu/l/www/research/leivant/description.html">Computing Theory</a>
<li><!WA29><a href="http://www.cs.indiana.edu/l/www/research/sjohnson/ddd.html">Digital Design Derivation</a>
</ul>

<h2>Programming Languages</h2>

<ul>
<li><!WA30><a href="http://www.cs.indiana.edu/hyplan/dyb/syntactic.html">Syntactic Abstraction</a>
<li><!WA31><a href="http://www.cs.indiana.edu/hyplan/dyb/scheme-impl.html">Scheme Language Implementation</a>
<li><!WA32><a href="http://www.cs.indiana.edu/hyplan/dyb/scheme2k.html">Scheme 2000</a>
<li><!WA33><a href="http://www.cs.indiana.edu/hyplan/dswise/memory.html">Storage Management</a>
<li><!WA34><a href="http://www.cs.indiana.edu/hyplan/dswise/quadtreeMatrices.html">Algorithms for Quadtree Representation of Matrices</a>
<li><!WA35><a href="http://www.cs.indiana.edu/l/www/research/sjohnson/ddd.html">Digital Design Derivation</a>
<li><!WA36><a href="http://www.cs.indiana.edu/l/www/research/sjohnson/dsi.html">Daisy/DSI Programming System</a>
</ul>

<h2>Scientific Computation</h2>

<ul>
<li><!WA37><a href="http://www.cs.indiana.edu/hyplan/dswise/quadtreeMatrices.html">Algorithms for Quadtree Representation of Matrices</a>
</ul>

<h2>Theory</h2>

<ul>
<li><!WA38><a href="http://www.cs.indiana.edu/l/www/research/pwp/description.html">Constraint Satisfaction Problems</a>
</ul>

<address>
<!WA39><a href="mailto:fleisher@cs.indiana.edu">fleisher@cs.indiana.edu</a>
</address></body></html>
